翻訳と辞書 Words near each other ・ Kappa Alpha Psi ・ Kappa Alpha Society ・ Kappa Alpha Theta ・ Kappa Andromedae ・ Kappa Andromedae b ・ Kappa Apodis ・ Kappa Aquarii ・ Kappa Aquilae ・ Kappa Arae ・ Kappa Arietis ・ Kappa Aurigae ・ Kappa Beta Gamma ・ Kappa Beta Phi ・ Kappa Boötis ・ Kappa bungarotoxin ・ Kappa calculus ・ Kappa Cancri ・ Kappa Canis Majoris ・ Kappa Capricorni ・ Kappa Cassiopeiae ・ Kappa Centauri ・ Kappa Cephei ・ Kappa Ceti ・ Kappa Chamaeleontis ・ Kappa Columbae ・ Kappa Coronae Australis ・ Kappa Coronae Borealis ・ Kappa Coronae Borealis b ・ Kappa Crucis ・ Kappa Crucis (star) Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Kappa calculus ： ウィキペディア英語版 Kappa calculus In mathematical logic, category theory, and computer science, kappa calculus is a formal system for defining first-order functions. Unlike lambda calculus, kappa calculus has no higher-order functions; its functions are not first class objects. Kappa-calculus can be regarded as "a reformulation of the first-order fragment of typed lambda calculus〔". Because its functions are not first-class objects, evaluation of kappa calculus expressions does not require closures. == Definition == ''The definition below has been adapted from the diagrams on pages 205 and 207 of Hasegawa.〔'' 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Kappa calculus」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.